Concurrent data structure - PDFSEARCH.IO - Document Search Engine

Concurrent data structure
Results: 90

#	Item
51	Deriving Linearizable Fine-Grained Concurrent Objects Martin Vechev Eran Yahav IBM Research Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:16 Concurrency Linearizability Algorithm Tree traversal Mutual exclusion Non-blocking algorithm Concurrent data structure Parallel computing Priority queue Concurrency control Computing Data management
52	Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement, Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:04 Concurrency Theoretical computer science Computer programming Algorithm Mathematical logic Non-blocking algorithm Linearizability Concurrent data structure Actor model Computing Concurrency control Concurrent computing
53	Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:38 Transaction processing Dynamical systems Mathematics Concurrent data structure Linearization Algorithm Parallel computing Model checking Concurrency Concurrency control Computing Linearizability
54	Testing Atomicity of Composed Concurrent Operations Ohad Shacham Nathan Bronson Alex Aiken Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:26:32 Data management Data Concurrent computing Linearizability Atomicity Lock Concurrent data structure Parallel computing Concurrency Concurrency control Transaction processing Computing
55	Combining Task- and Data Parallelism to Speed up Protein Folding on a Desktop Grid Platform Is efficient protein folding possible with CHARMM on the United Devices MetaProcessor? 1 Add to Reading List Source URL: www.cs.inf.ethz.ch Language: English - Date: 2002-11-08 12:09:28 Protein structure Parallel computing Molecular modelling Computational chemistry Molecular dynamics Protein folding Task parallelism CHARMM Folding@home Computing Concurrent computing Chemistry
56	Performance and Energy Consumption Evaluation of the Client-Server Synchronization Model for Concurrent Lists in Embedded Systems Lazaros Papadopoulos1 , Ivan Walulya2 Paul Renaud-Goud2 , Philippas Tsigas2 , Dimitrios So Add to Reading List Source URL: research.ac.upc.edu Language: English - Date: 2015-01-12 08:06:52 Computer programming Inter-process communication Scheduling algorithms Abstract data types Cybernetics FIFO Non-blocking algorithm Lock Concurrent data structure Computing Concurrent computing Concurrency control
57	VM-Based Shared Memory on Low-Latency, Remote-Memory-Access Networks Leonidas Kontothanassisy, Galen Hunt, Robert Stets, Nikolaos Hardavellas, Michał Cierniak, Srinivasan Parthasarathy, Wagner Meira, Jr., Sandhya Dwarka Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2003-02-22 02:32:06 Distributed computing architecture Computer memory Cache coherency Distributed shared memory CPU cache Scalability Shared memory Speedup Concurrent data structure Computing Concurrent computing Parallel computing
58	Newsletter of the IEEE Technical Committee on Operating Systems and Application Environments (TCOS), 6:[removed]The Psyche Parallel Operating System Computer Science Department University of Rochester Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-03-28 17:06:52 Computer programming Thread Kernel Operating system Process Ring Parallel computing Mach Concurrent data structure Computing Concurrent computing Computer architecture
59	OOPSLA Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL), San Diego, CA, October 2005 A Scalable Elimination-based Exchange Channel William N. Scherer III Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-04-01 10:29:59 Concurrency Computer programming Transaction processing Thread Non-blocking algorithm Stack Concurrent data structure Lock Linearizability Concurrency control Computing Concurrent computing
60	The Rochester Checkers Player: Multi-Model Parallel Programming for Animate Vision B. Marsh, C. Brown, T. LeBlanc, M. Scott, T. Becker, P. Das, J. Karlsson, C. Quiroz The University of Rochester Computer Science Departme Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-03-27 21:03:12 Programming paradigms Parallel computing Thread Parallel programming model Kernel Concurrent data structure Process management Virtual Processor Pipeline Computing Computer programming Concurrent computing